1. Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 years of CSP, London, UK, July 7-8, 2004 : revised invited papers
پدیدآورنده : Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، CSP )Computer program language(,Congresses ، Parallel programming )Computer science(,Congresses ، Sequential processing )Computer science(,Congresses ، Computer programming,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
3525
2. Dependable and Historic Computing
پدیدآورنده : / Cliff B. Jones, John L. Lloyd
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK
3. Dependable and Historic Computing :
پدیدآورنده : Cliff B Jones
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
17
C554
2012
4. FME'97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe 1997 : proceedings
پدیدآورنده : John Fitzgerald, Cliff B. Jones, Peter Lucas, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Methodology -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
1313
5. Formal methods and hybrid real-time systems
پدیدآورنده : Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses
رده :
QA
،
76
.
9
،.
F67
,
F525
،
2007
6. Proceedings of the 5th Refinement Workshop :
پدیدآورنده : organised by BCS-FACS. Cliff B. Jones ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Softwareentwicklung.,Verfeinerung.
رده :
QA76
.
76
.
D47
O743
1992
7. Reflections on the Work of C.A.R. Hoare
پدیدآورنده : / A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
8. Software development: a rigorous approach
پدیدآورنده : Jones, Cliff B
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Programming )Electronic computers(
رده :
QA
76
.
6
.
J6
S6
9. Systematic software development using VDM
پدیدآورنده : Jones, Cliff B.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software Development
رده :
QA
76
.
76
.
D47
J66
1990
10. Systematic software development using VDM
پدیدآورنده : Jones, C. B.)Cliff B.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development
رده :
QA
76
.
76
.
D47
.
J66
1986
11. Systematic software development using VDM
پدیدآورنده : Jones, Cliff B
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer software - Development - Management
رده :
QA
76
.
76
.
D47
J66
1990
12. Systematic software development using VDM
پدیدآورنده : Jones, Cliff B
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computer software -- Development
رده :
QA
76
.
76
.
D47
J66
1989
13. Systematic software development using vdm
پدیدآورنده : JONES,CLIFF B
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : COMPUTER SOFTWARE-DEVELOPMENT
رده :
QA
76
.
76
.
D47
J66
